solving systems substitution